#!/bin/bash
RM=/bin/rm
TARGET=index.html
PDFFILE=$1
images=$DIR/images.log
$PDFTOHTMLBIN_DIR/pdftohtml.bin -noframes -stdout -q -i $PDFFILE $DIR/$TARGET
$RM -f $images  
